Device driver synthesis and verification - PDFSEARCH.IO - Document Search Engine

Device driver synthesis and verification
Results: 24

#	Item
11	Allen-Bradley Micro800 Ethernet Driver Help Add to Reading List Source URL: www.kepware.com Language: English - Date: 2015-02-17 11:03:28 Network protocols Computing Technology Device driver synthesis and verification Network architecture EtherNet/IP Industrial Ethernet Ethernet
12	Allen-Bradley Slave Ethernet Driver Help Add to Reading List Source URL: www.kepware.com Language: English - Date: 2015-02-17 11:03:29 Ethernet Transmission Control Protocol Network protocols Industrial Ethernet OSI protocols Industrial automation Automation Device driver synthesis and verification Conventional PCI IEEE standards Technology Computing
13	Tolerating Hardware Device Failures in Software Add to Reading List Source URL: www.sigops.org Language: English - Date: 2009-10-12 16:19:00 Device driver Interrupt storm Kernel Ioctl Firmware Device drivers Device driver synthesis and verification Computer architecture Computing System software
14	Automatic Device Driver Synthesis with Termite Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser UNSW, NICTA, Open Kernel Labs (Australia), John Keys, Intel Conventional driver development Add to Reading List Source URL: www.sigops.org Language: English - Date: 2009-10-12 16:19:00 Standard Performance Evaluation Corporation Control key Gernot Heiser Electronics Device driver synthesis and verification Computing General Purpose Input/Output Device driver
15	MASSACHVSETTS INSTITVTE OF TECHNOLOGY[removed]Adventures in Advanced Symbolic Programming Request for Proposals—Spring 2015 Overview As advertised in the Red Tape Memo, you will do a significant term project for 6. Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2015-03-02 11:02:01 Domain-specific language Compiler Free software Cross-platform software Systems engineering Device driver synthesis and verification Software Software licenses Computing
16	Determining Software Models that Are Less Incorrect Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 06:08:34 Science Theoretical computer science Verification and validation Software development process Software bug Programming language Model checking Formal verification Device driver synthesis and verification Formal methods Software development Software testing
17	Non-Functional Requirements in a Component Model for Embedded Systems Position Paper Roel Wuyts Stephane Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2002-02-15 11:58:05 Component-based software engineering Operating system Scheduling Systems engineering Device driver synthesis and verification AUTOSAR Software engineering Software architecture Embedded system
18	The Verified Software Challenge: A Call for a Holistic Approach to Reliability Thomas Ball Microsoft Research, Redmond, WA, USA, Email: [removed] 1 Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-05-11 09:32:12 Device drivers Windows NT Microsoft Research Singularity Operating system Kernel Device driver SLAM project Device driver synthesis and verification Computer architecture Computing System software
19	This checklist is used to assist in the evaluation of software tools. It needs to be tailored to the specific program/project/facility use to optimize the evaluation. Specific questions should be added for specific kind Add to Reading List Source URL: www.hq.nasa.gov Language: English - Date: 2013-05-21 15:28:21 MetaCASE tool Device driver synthesis and verification Programming tool Application software Software testing
20	4 Faults in Linux 2.6 arXiv:1407.4346v1 [cs.SE] 16 Jul[removed]NICOLAS PALIX, Grenoble - Alps University/UJF, LIG-Erods Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-07-16 20:46:08 Linux Computing platforms Linux kernel Operating system Source lines of code Fedora Kernel Device driver synthesis and verification Software Computing Computer architecture